package MP.staticchecker;

public class ProductType extends Type {
	Type e1Type = null;
	Type e2Type = null;

	public ProductType(Type e1, Type e2) {
		e1Type = e1;
		e2Type = e2;
	}
	public String toString() {
		return e1Type.toString()+"*"+e2Type.toString();
	}
	public String getJVMType() {
		if (e1Type == null)
			return "";
		else if (e2Type == null)
			return e1Type.getJVMType();
		return e1Type.getJVMType()+e2Type.getJVMType();
	}
	public Type getE1Type(){ 
		return e1Type;
	}
	public Type getE2Type() {
		return e2Type;
	}

}
